function $qry(text) {
	var postJson= {"$0": text};
	  for (var i = 1; i < arguments.length; i++) 
		  postJson["$"+i]=arguments[i]; 
	return $.ajax({
		type : 'POST',
		url : '/qry.htm',
		cache : false,
		dataType : "json",
		data : postJson,
		async : false
	}).responseText;
}

function $java(text) {
	var postJson= {"$0": text};
	  for (var i = 1; i < arguments.length; i++) 
		  postJson["$"+i]=arguments[i]; 
	return $.ajax({
		type : 'POST',
		url : '/java.htm',
		cache : false,
		dataType : "json",
		data : postJson,
		async : false
	}).responseText;
}
 